Seamless concurrent programming of objects, aspects and events. (Intégration de la programmation concurrente à la programmation par objets, aspects et événements)
نویسنده
چکیده
منابع مشابه
ILOG : vingt ans dans les objets, rétro et perspectives
De nombreux fronts se sont ouverts, souvent complémentaires. Front de la programmation : des objets lispiens tels que LeLisp et son inévitable MicroCeyx à Java et C#. Front de la modélisation et du raisonnement : de la première génération de systèmes centrés objets tels Kool, Smeci, FRL ou Sherpa aux règles métiers et aux modèles ontologiques tels que promus par le W3C. Front du Génie Logiciel ...
متن کاملUn Caml Light Distribué
Résumé. Dans cet article nous proposons une extension du langage fonctionnel Caml Light appelé ACCL (pour A Concurrent Caml Light) dont le but est de combiner les paradigmes de programmation impérative, fonctionnelle, de concurrence et de distribution dans un seul langage de programmation. Pour l’extension concurrente de Caml Light nous proposons quelques primitives avec une sémantique très sim...
متن کاملConcurrent Aspects Concurrent Aspects Des Aspects Concurrents
Aspect-Oriented Programming (AOP) promises the modularization of so-called crosscutting functionalities in large applications. Currently, almost all approaches to AOP provide means for the description of sequential aspects that are to be applied to a sequential base program. In particular, there is no formally-defined concurrent approach to AOP, with the result that coordination issues between ...
متن کامل"Aspectisation" de patrons de conception. Exemples de transformation des patrons Observateur, Visiteur et Stratégie
RÉSUMÉ . En dépit de leurs nombreuses qualités, les patrons de conception par objets ont le défaut de généralement « disparaître » dans l’implémentation des applications, parce qu’ils sont définis sur plusieurs classes. La programmation par aspects propose des mécanismes permettant une représentation explicite d’aspects, c'est à dire d’unités modulaires transversales aux classes, qui permet de ...
متن کاملVérification par model-checking de systèmes hybrides objets-règles
RÉSUMÉ. Un nombre croissant d’approches mixtes combinent programmation à base de règles et programmation orientée objets. La vérification des programmes hybrides à base d’objets et de règles est devenue un problème de plus en plus urgent à résoudre. Les méthodes de vérification existantes, développées soit pour les programmes orientés objets soit pour les systèmes de règles classiques, ne sont ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015